1521. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده: Tiziana Margaria, Wang Yi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2031
1522. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
پدیدآورنده: Kurt Jensen, Andreas Podelski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2988
1523. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
پدیدآورنده: Hubert Garavel, John Hatcliff )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
1524. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده: Ed Brinksma )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
1525. Topics in Computational Algebra
پدیدآورنده: edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
1526. Topics in modal analysis & testing.
پدیدآورنده: Michael Mains, Brandon J. Dilworth, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Modal analysis, Congresses.,Civil engineering, surveying & building.,Dynamics & vibration.,Maths for engineers.,Mechanics of solids.,Modal analysis.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TA654
.
15
1527. Topics in theoretical computer science :
پدیدآورنده: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1528. Topics in validated computations
پدیدآورنده: / edited by Jeurgen Herzberger
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Interval analysis (Mathematics), Congresses,Numerical calculations, Verification, Congresses,Algorithms, Congresses,Linear algebra
رده :
QA297
.
75
.
I43
1993
1529. Topics in validated computations
پدیدآورنده: / edited by Jurgen Herzberger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Interval analysis (Mathematics)- Congresses,Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA297
.
75
.
I43
1993
1530. Topics on mathematics for smart systems :
پدیدآورنده: editors, Bernadette Miara, Georgios Stavroulakis, Vanda Valente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Smart materials-- Mathematical models, Congresses.,Smart structures-- Mathematical models, Congresses.,Smart materials-- Mathematical models.,Smart structures-- Mathematical models.,TECHNOLOGY & ENGINEERING-- Material Science.
رده :
TA418
.
9
.
S62
E954
2006eb
1531. Topological Methods in Data Analysis and Visualization
پدیدآورنده: \ Hamish Carr, Christoph Garth, Tino Weinkauf, editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Topology -- Congresses,Mathematical analysis -- Congresses,Information visualization -- Congresses,توپولوژی -- کنگره‌ها,آنالیز ریاضی -- کنگره‌ها,مصورسازی اطلاعات -- کنگره‌ها
رده :
E-Book
,
1532. Topological methods in data analysis and visualization.
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Topology ; Congresses. ;
1533. Topological methods in data analysis and visualization
پدیدآورنده: / Valerio Pascucci... [et al.], editors
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Topology -- Congresses,Mathematical analysis -- Congresses
رده :
EBL
599
1534. Topological methods in data analysis and visualization
پدیدآورنده: / Valerio Pascucci ... [et al.], editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Information visualization,Topology, Congresses,Mathematical analysis, Congresses
رده :
TK7882
.
I6
,
T66
2011
1535. Topological methods in data analysis and visualization II
پدیدآورنده: / Ronald Peikert ... [et al.], editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Topology, Congresses,Mathematical analysis, Congresses
رده :
E-BOOK
1536. Topological methods in data analysis and visualization II : theory, algorithms, and applications
پدیدآورنده: Ronald Peikert ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Topology,Congresses ، Mathematical analysis
رده :
QA
611
.
A1T64
II
1537. Topological methods in data analysis and visualization II theory, algorithms, and applications
پدیدآورنده: Ronald Peikert ... ]et al.[, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Topology, Congresses,، Mathematical analysis, Congresses
رده :
QA
611
.
A1
T6582
2012
1538. Topological methods in data analysis and visualization III : theory, algorithms and applications
پدیدآورنده: Peer-Timo Bremer... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Topology,Congresses ، Mathematical analysis
رده :
QA
611
.
A1T64
III
1539. Topology Design of Structures
پدیدآورنده: edited by Martin Philip Bendsøe, Carlos A. Mota Soares.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Structural optimization -- Mathematics -- Congresses.,Structural optimization -- Mathematics.
رده :
TA658
.
8
E358
1993
1540. Transactions on engineering technologies :
پدیدآورنده: Haeng Kon Kim, Mahyar A. Amouzegar, Sio-long Ao, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses,Engineering, Congresses,Technological innovations, Congresses,Technology, Congresses
رده :
TA5
